程序转换相关论文
云计算服务是虚拟化、集群计算和远程计算等多种技术相互融合发展的新型服务。该技术通过虚拟化技术,允许个人或者组织的数据和程......
2020年1月最高人民法院发布《民事诉讼程序繁简分流改革试点方案》 （以下简称《试点方案》）和《民事诉讼程序繁简分流改革试点实施办......
该文共分为五部分.第一章概述了形式倾方法;第二章着重讨论自定义Java类库的设计和实现;第三章阐述工算子的研究、实现和应用;第四......
该文就是研制这样的转换工具——从APLA程序到ADA程序自动转换系统,所做的工作有以下几点:1、运用PAR方法进行算法开发;2、对APLA......
有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件产品。薛锦云教授在国家863和多项国家自然科学基金的资助下，根据......
用形式化方法开发软件，被当今计算机界誉为克服“软件危机”、提高软件可靠性和生产效率的革命性途径，是实现软件自动化的关键。薛锦......
本项研究作为PAR方法研究的一个重要组成部分,目标是开发一个自动程序转换系统,该系统能将用Radl语言描述的算法转换成抽象语言程......
软件的可靠性差和开发效率低一直是困扰软件产业界的两大难题，高效率地开发正确、可靠的软件已成为软件产业的迫切要求。软件开发的......
程序的分析技术在许多领域有广泛的应用前景。例如，对学生程序的自动分析评价；利用程序分析比较工具来辅助软件版权的分析鉴别。但是......
重构技术由于其在构造灵活代码方面的实用价值已经获得了普遍应用。重构旨在提高软件质量，增强可理解性和可维护性。面向方面编程(A......
随着软件的迅速发展和广泛应用,并行程序在天气预测、石油勘探等一些重要领域的应用也越来越普遍。目前,OpenMP已经成为使用最广泛......
“3D打印”这一词语在今年刚出现的时候，它只被很多人当做奇闻异事而已。但随着打印楼房、汽车甚至肾脏的新闻出现，它开始被各路媒体......
随着技术的发展,信息物理融合系统(cyber-physical system,简称CPS)在生活中扮演着越来越重要的角色,例如电力系统、铁路系统.如果......
工业机器人编程方式主要是示教编程和离线编程,面对当前机器人的应用情况和发展需要,示教编程已经难以满足生产需求。离线编程可以......
工业机器人的发展经历了示教再现和离线编程两个阶段。近年来,以离线编程为基础的机器人柔性自动化系统的开发,代表了机器人系统二......
督促程序自1991年被我国引进以来，并没有发挥应有的快速解决债权债务纠纷的功能。然而，在德、日等大陆法系国家，督促程序已成为解决小......
我国当前小额诉讼的适用率较低,究其制度原因,主要在于制度配套不健全,导致启动机制欠缺、程序转换随意.因此,小额诉讼规范重塑就......
新民诉法增加了小额诉讼程序。笔者认为小额诉讼程序即是简易程序再简化程序,小额诉讼程序与普通程序的转换实质即简易程序与普通......
2013年1月1日,我国新修订的《民事诉讼法》正式实施,其中在简易程序一章设立了小额诉讼程序。然而对于小额诉讼程序适用的范围和方......
与线下庭审相比,在线庭审模式缺乏在场性、仪式感等程序要素,造成直接言词原则的适用基础被削弱、程序说服功能弱化以及司法权威无......
介绍了融现代电子技术和微机控制技术为一体的PLC系统和变频调速系统在供水系统中的应 用,通过两者的共同作用,实现了对供水系统的......
文章针对包钢炼铁厂运料车间老系统、六高炉中储仓系统、1#、3#、5#高炉新上料系统计算机进行了详细介绍, 对五转计算机及调度室监......
从应用自身的使用出发,应用类类别的划分、代理生成、应用类转换、应用类聚类、Endpoint的实现,以及计算按需远程执行的决策等几个......
民事简易程序是解决民事纠纷的重要机制,如何更好地发挥其功能价值,是司法改革和实践中的重点问题。笔者针对我国民事诉讼简易程序......
随着县级Pcvsat单收站的建成及投入业务应用 ,为提高天气预报质量和预报服务水平提供了可靠的保障。但停电时 ,由于资料短缺 ,从而......
智能手机后台应用的网络请求极大地影响着待机时间.已有的工作提出了节省手机能耗的应用网络请求调度算法,然而,如何将算法自动地......
<正> 本文为程序设计人员把应用程序从DataEase转换到Microsoft Access 2.0下提供了几点提示。即使你手头没有DataEase应用程序,可......
我国监察体制改革后,监检衔接问题成为理论界和实务界共同关注的课题。监检衔接既是监察机关和检察机关“相互配合、相互制约”原......
算法程序是用抽象程序设计语言或可执行的程序设计语言描述的算法。开发正确而有效的算法程序一直是计算机界的核心问题。分划—递......
《民事诉讼法》将小额诉讼程序分类在简易程序下定性为简易程序的子程序,新《民事诉讼法》司法解释将小额诉讼程序规定为强制适用......
我国立法及相关司法解释对于民事诉讼程序转换的规定有失系统,因而司法实践处于各行其是的混乱状态.我国应修改相关的司法解释,将......
为了有效地构造一个Java部分计值器,并且形式化地描述计值规则,提出了Java字节代码程序的静态语义,在此基础上构造了一个online的J......
推进执行转破产程序的司法适用,打通执行案件难以终结的窘迫实现全面受理破产案件的进程,两种程序转换的相得益彰对维护司法公正和......
刑事速裁程序设立的初衷是为解决“案多人少”这一长期困扰司法实践的顽疾,通过缩短办案时限、简化程序提高办案效率进而实现刑事......
破产和解制度是指债务人企业陷入破产困境后,为防止走入破产清算程序,而向法院申请破产和解且提出和解协议草案,尔后由债权人会议......
以某一管理程序应用为例,讨论了如何在Delphi中使用ActiveForm组件将以前开发的Client/Server结构的应用程序转换为Browser/Server......
印刷成本一直很重要。对于包装而言,每种包装的数量都在数万至上百万件,这是重点。由于产品的制造和上市时间都取决于包装,因此不......
从PROLOG到PASCAL的转换方法和转换的目的是把PROLOG语言编写的程序转换为PASCAL语言编写的、语义等价的、可读的和容易维护的程序......
精神病强制医疗存在行政程序与司法程序。尽管这两种程序适用的法域不同,却因行政法与刑事法在调整范围上的交叉与重叠,致使实践中......
刑事简易程序在一九九六年刑事诉讼法的修改中首次在一审程序得以确立,其简便、快捷的审判方式有效地节省了司法资源,减轻了当事人......
ＯＯＦＬ是我们设计的一种面向对象的函数式语言，该语言具有对象式语言和函数式语言的优点。本文详细介绍了ＯＯＦＬ到Ｃ＋＋的转换技术，构造了ＯＯＦＬ语言的元程序......
我国民事第一审诉讼程序由普通程序、简易程序、小额诉讼程序组成,这三种程序有着各自的程序特点、适用范围和价值取向。现行民事......
我国的督促程序自设立以来,没有达到便捷、高效、低廉解决纠纷的预期效果。为改善这一现状,现行民事诉讼法增加了督促程序与普通诉......
随着多处理器的产生,在多处理器环境下的编程要求也提高,程序必须适应多处理器的体系结构,发挥多处理器的优势.为了方便多处理器系......
在不少过程化的IC ATE测试应用程序中,测试的数据条件往往与测试算法紧密耦合,使得程序平台转换的工作严重依赖人工的阅读理解。文......
